A localic theory of lower and upper integrals
نویسندگان
چکیده
منابع مشابه
A localic theory of lower and upper integrals
An account of lower and upper integration is given. It is constructive in the sense of geometric logic. If the integrand takes its values in the nonnegative lower reals, then its lower integral with respect to a valuation is a lower real. If the integrand takes its values in the non-negative upper reals, then its upper integral with respect to a covaluation and with domain of integration bounde...
متن کاملLower and Upper Loeb-integrals
We introduce the concepts of lower and upper Loeb-integrals for an internal integration structure. These are concepts which are similarly useful for Loebs internal integration theory as the concepts of inner and outer Loebmeasures for Loebs measure theory.
متن کاملA Note on the Upper and Lower Henstock Integrals
It is shown that the upper and lower Henstock integrals coincide with upper and lower Perron integrals, when the former exist.
متن کاملLocalic Galois Theory
In this article we prove the following: A topos with a point is connected atomic if and only if it is the classifying topos of a localic group, and this group can be taken to be the locale of automorphisms of the point. We explain and give the necessary definitions to understand this statement. The hard direction in this equivalence was first proved in print in [4], Theorem 1, Section 3, Chapte...
متن کاملQualitative integrals and desintegrals as lower and upper possibilistic expectations
Any capacity (i.e., an increasing set function) has been proved to be a lower possibility measure and an upper necessity measure. Similarly, it is shown that any anti-capacity (i.e., a decreasing set function) can be viewed both as an upper guaranteed possibility measure and as a lower weak necessity measure. These results are the basis for establishing that qualitative integrals (including Sug...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: MLQ
سال: 2008
ISSN: 0942-5616,1521-3870
DOI: 10.1002/malq.200710028